To change this font, select another font in the Font menu, and watch this Key Map change...